In Computer Science stepwise refinement of algebraic specifications is a well-known formal methodology for rigorous program development. This paper illustrates how techniques from Algebraic Logic, in particular that of interpretation, understood as a multifunction that preserves and reflects logical consequence, capture a number of relevant transformations in the context of software design, reuse, and adaptation, difficult to deal with in classical approaches. Examples include data encapsulation and the decomposition of operations into atomic transactions. But if interpretations open such a new (...) research avenue in program refinement, (conceptual) tools are needed to reason about them. In this line, the paper’s main contribution is a study of the correspondence between logical interpretations and morphisms of a particular kind of coalgebras. This opens way to the use of coalgebraic constructions, such as simulation and bisimulation, in the study of interpretations between (abstract) logics. (shrink)

The study aimed to identify the relationship between correcting the deviations in the measurement of performance and achieving the objectives of control and the performance of the job at the Islamic University in the Gaza Strip. To achieve the objectives of the research, the researchers used the descriptive analytical approach to collect information. The questionnaire consisted of (20) statements distributed to three categories of employees of the Islamic University (senior management, faculty members, their assistants and members of the administrative board). (...) A random sample of 314 employees was selected and 276 responses were retrieved with a recovery rate of 88.1%. The Statistical Analysis Program (SPSS) was used to enter, process, and analyze the data. The results of the study showed a positive relationship between correcting deviations in performance measurement and achieving the control objectives represented by the functional performance in the Islamic University from the point of view of the members (senior management, faculty and their assistants, and the administrative board), where the relative weight of all the paragraphs was (74.25%). The study recommended the need to ensure that the actual performance of the planned performance is matched and decisions are taken to correct the serious deviations and take the necessary measures in terms of retraining and change in regulations, wages and bonuses and punishment of the culprit, neglect and negligence by mistake. (shrink)

Peirce’s doctrine of God has scarcely been studied at all. This is surprising because his own naturally religious temperament, his desire for philosophical completeness and the influence of Kant, all led him to give an important place to theistic speculation in his philosophy. It is true that few parts of his philosophy reveal more than the fragmentary and unfinished nature of his thinking. This however does not take away from its importance both for the interpretation of his philosophy and for (...) the evaluation of its contribution. In this paper I want to examine his doctrine of God mainly in order to discover and outline what views he held in the matter. Such examination is an essential preliminary to any consideration of the value of his theistic thinking. Moreover, an objective exposition is already the best beginning of evaluation. However it is impossible to undertake this kind of examination without a careful search into various corners of his writings and a meticulous and slightly laboured presentation of one’s findings. But I think that the patience involved in such research has a rich reward. (shrink)

When people engage in conversation, they tailor their utterances to their conversational partners, whether these partners are other humans or computational systems. This tailoring, or adaptation to the partner takes place in all facets of human language use, and is based on a mental model or a user model of the conversational partner. Such adaptation has been shown to improve listeners' comprehension, their satisfaction with an interactive system, the efficiency with which they execute conversational tasks, and the likelihood of achieving (...) higher level goals such as changing the listener's beliefs and attitudes. We focus on one aspect of adaptation, namely the tailoring of the content of dialogue system utterances for the higher level processes of persuasion, argumentation and advice-giving. Our hypothesis is that algorithms that adapt content for these processes, according to a user model, will improve the usability, efficiency, and effectiveness of dialogue systems. We describe a multimodal dialogue system and algorithms for adaptive content selection based on multi-attribute decision theory. We demonstrate experimentally the improved efficacy of system responses through the use of user models to both tailor the content of system utterances and to manipulate their conciseness. (shrink)

In a previous article an elementary semantic analysis showed that, logically, analogical terms and expressions must be treated as homonyms, though of a special type. The latter qualification is necessitated by the concomitant element of similarity that is found to be involved in all comparisons of the analogical type. Further, it was pointed out that the special types of similarity in question cannot be isolated through a purely semantic analysis. This is, in particular, a consequence of the fact that analogy (...) is itself an analogical notion and term. The kind of similarity involved may, therefore, vary in the different forms of analogy and it may prove impossible to abstract from these something like a common element, e.g., a particular type of resemblance. This implies that the full philosophical significance of a particular form of analogy can be gleaned only from a contextual examination of its rôle in relation to a particular problem. Nevertheless, some significant conclusions may emerge from a partial analysis of certain forms of resemblance which are usually associated with analogy. (shrink)

Recent policy developments in the area of livestock husbandry have suggested that, from the perspective of optimizing animal welfare, new animal husbandry systems should be developed that provide opportunities for livestock animals to be raised in environments where they are permitted to engage in “natural behavior.” It is not known whether consumers regard animal husbandry issues as important, and whether they differentiate between animal husbandry and other animal welfare issues. The responsibility for the development of such systems is allocated jointly (...) between farmers, regulators, different actors in the food chain, and consumers. This research focuses on understanding consumer attitudes and preferences regarding the development and introduction of such systems, to ensure that they are acceptable to consumers as well as producers, regulators, and scientists. Consumer perceptions of animal welfare and animal husbandry practices were evaluated using quantitative consumer survey, which focused on two animal husbandry issues – farmed pigs and farmed fish. Following pilot work, 1000 representative Dutch consumers were sampled about their attitudes to either pig or fish husbandry. The results indicated that consumers think about animal welfare in terms of two broad categories related to their health and living environment, but do not think about welfare issues at a more detailed level. Greater concern was expressed about the welfare of pigs compared to fish. Consumer trust in labeling also emerged as an important issue, since consumers need to trust different food chain actors with responsibility for promoting animal welfare, and are reluctant to consider the details of animal husbandry systems. As a consequence, a transparent, enforceable, and traceable monitoring system for animal welfare friendly products is likely to be important for consumers. (shrink)

Recent policy developments in the area of livestock husbandry have suggested that, from the perspective of optimizing animal welfare, new animal husbandry systems should be developed that provide opportunities for livestock animals to be raised in environments where they are permitted to engage in “natural behavior.” It is not known whether consumers regard animal husbandry issues as important, and whether they differentiate between animal husbandry and other animal welfare issues. The responsibility for the development of such systems is allocated jointly (...) between farmers, regulators, different actors in the food chain, and consumers. This research focuses on understanding consumer attitudes and preferences regarding the development and introduction of such systems, to ensure that they are acceptable to consumers as well as producers, regulators, and scientists. Consumer perceptions of animal welfare and animal husbandry practices were evaluated using quantitative consumer survey, which focused on two animal husbandry issues – farmed pigs and farmed fish. Following pilot work, 1000 representative Dutch consumers were sampled about their attitudes to either pig or fish husbandry. The results indicated that consumers think about animal welfare in terms of two broad categories related to their health and living environment, but do not think about welfare issues at a more detailed level. Greater concern was expressed about the welfare of pigs compared to fish. Consumer trust in labeling also emerged as an important issue, since consumers need to trust different food chain actors with responsibility for promoting animal welfare, and are reluctant to consider the details of animal husbandry systems. As a consequence, a transparent, enforceable, and traceable monitoring system for animal welfare friendly products is likely to be important for consumers. (shrink)

The study aims to identify the efficiency of the university education performance from the perspective of postgraduate and undergraduate students in international and Palestinian universities. The analytical descriptive approach was used for this purpose and the questionnaire was used as a main tool for data collection. The study community consists of: post graduate students, (23850) graduate students and (146355) undergraduate students. The sample of the study was 378 graduate students and 383 undergraduate students. The random stratified sample was used. The (...) Statistical Package of Social Sciences (SPSS) was also used for data analysis. The study reached a number of results, the most important of which are: The level of efficiency of educational performance in Palestinian and international universities from the point of view of postgraduate and undergraduate students was high. And that there are significant differences between the average views of the sample of the study on the efficiency of educational performance in Palestinian and international universities attributed to the University and to the benefit of international universities. The study concluded many recommendations, the most important of which is the necessity of continuing to develop e-learning strategies that affect the efficiency of educational performance and research commensurate with the university's position in the local and international community, which puts it on the best classification between local and international universities through e-learning. (shrink)

In this paper two models for movement of respiratory gases in the insect trachea are presented. One model considers the tracheal system as a single flexible compartment while the other model considers the trachea as a single flexible compartment with gas exchange. This work represents an extension of Ben-Tal’s work on compartmental gas exchange in human lungs and is applied to the insect tracheal system. The purpose of the work is to study nonlinear phenomena seen in the insect respiratory system. (...) It is assumed that the flow inside the trachea is laminar, and that the air inside the chamber behaves as an ideal gas. Further, with the isothermal assumption, the expressions for the tracheal partial pressures of oxygen and carbon dioxide, rate of volume change, and the rates of change of oxygen concentration and carbon dioxide concentration are derived. The effects of some flow parameters such as diffusion capacities, reaction rates and air concentrations on net flow are studied. Numerical simulations of the tracheal flow characteristics are performed. The models developed provide a mathematical framework to further investigate gas exchange in insects. (shrink)

The dilemma of whether and how to disclose a diagnosis of cancer or of any other terminal illness continues to be a subject of worldwide interest. We present the case of a 62-year-old Japanese woman afflicted with advanced gall bladder cancer who had previously expressed a preference not to be told a diagnosis of cancer. The treating physician revealed the diagnosis to the family first, and then told the patient: "You don't have any cancer yet, but if we don't treat (...) you, it will progress to a cancer". In our analysis, we examine the role of family consent, communication patterns (including ambiguous disclosure), and advance directives for cancer disclosure in Japan. Finally, we explore the implications for Edmund Pellegrino's proposal of "something close to autonomy" as a universal good. (shrink)

Study of Adhikaraṇasārāvalī of Veṅkaṭanātha, 1268-1369, work on the fundamentals of Viśiṣṭādvaita philosophy.

Developing an intellectualist account of skill, Stanley and Williamson define skill as a kind of disposition to action-guiding knowledge. The present paper challenges their definition of skill. While we don’t dispute that skill may consist of a cognitive, a dispositional, and an action-guiding component, we argue that Stanley and Williamson’s account of each component is problematic. In the first section, we argue, against Stanley and Williamson, that the cognitive component of skill is not a case of propositional knowledge-wh, which is (...) typically indexical. In the second section, we seek to show that Stanley and Williamson face difficulties in arguing for a generic claim about skill as a kind of disposition, and they fail to defend intellectualism about skill based on the dispositional account. In the third section we argue that Stanley and Williamson need a more detailed account of the action-guiding aspect of skill to avoid several difficulties, including a threat of a regress. We close with some lessons for the debate over intellectualism and anti-intellectualism about skill. (shrink)

[full article, abstract in English; abstract in Lithuanian] Armstrong’s theory of laws and causation may be articulated as something like the following, which we may refer to as the received view: “Laws are intrinsic higher-order relations of ensuring between properties. The instantiation of laws is identical with singular causation. This identity is a posteriori.” Opponents and advocates of this view, believe that it may fairly and correctly be attributed to Armstrong. I do not deny it; instead I seek to reconsider (...) the received view, specifically by treating it as a part of Armstrong’s metaphysics. The main features that should concern us are truthmaker theory and the formal account of the constitutive parts of states of affairs. I also discuss Bird’s ultimate argument against Armstrong and show how its impact is weakened by this proper reading. (shrink)

Alison Gopnik and Andrew Meltzoff have argued for a view they call the 'theory theory': theory change in science and children are similar. While their version of the theory theory has been criticized for depending on a number of disputed claims, we argue that there is a fundamental problem which is much more basic: the theory theory is multiply ambiguous. We show that it might be claiming that a similarity holds between theory change in children and (i) individual scientists, (ii) (...) a rational reconstruction of a Superscientist, or (iii) the scientific community. We argue that (i) is false, (ii) is non-empirical (which is problematic since the theory theory is supposed to be a bold empirical hypothesis), and (iii) is either false or doesn't make enough sense to have a truth-value. We conclude that the theory theory is an interesting failure. Its failure points the way to a full, empirical picture of scientific development, one that marries a concern with the social dynamics of science to a psychological theory of scientific cognition. (shrink)

By using a tomographic approach to quantum states, we rise the problem of nonlocality within a single particle (single degree of freedom). We propose a possible way to look for such e®ects on a qubit. Although a conclusive answer is far from being reached, we provide some re°ections on the foundational ground.

The study aimed to identify the reality of the use of social networks in the technical colleges in Palestine, where the variables of social networks were included. The analytical descriptive method was used in the study. A questionnaire consisting of (12) items was randomly distributed to college workers Technology in the Gaza Strip. The sample of the study consisted of (205) employees of these colleges. The response rate was 74.5%. The results showed a high degree of approval for the dimensions (...) of the social networks and a relative weight (74.15%) according to the perspective of the employees of the technical colleges in the Gaza Strip. The results of the study showed that there is a high level of social networking areas (site management and Website Content) in the technical colleges in the Gaza Strip. The field of site management ranked first with a relative weight of 74.91%, and second and last (Content Site) with a relative weight (73.38%). The results showed that there were differences between colleges in the use of social networks where the results showed that the most common colleges used these networks (UCAS) and the least used is (GTC). The results showed no differences between male and female employees in the use of social networks in technical colleges. The researchers suggest a number of recommendations, including: the need to raise awareness of the importance of Facebook and other social networking sites, through the holding of courses for employees in technical colleges, and to identify the ways to optimize the use of such sites, and the benefits of this use, and reflected positively on technical colleges. And the adoption of dealing with the various social networking sites as a reality, and the Palestinian and Arab technical colleges, use them in accordance with the objectives of technical colleges. Advise the Department of Technical Colleges to devote time to their presence on social networks to follow the public and respond to their queries. There is a need for the attention of decision-makers in technical colleges in social sites, because they are considered an important and effective means of communication, and the link between beneficiaries and decision-makers. There is a need to promote the use of modern electronic means of work and the need to increase the link of customers to the college through electronic services. (shrink)

Both the recent 'Warner' review of the UK research ethics committee (REC) system and the subsequent consultation document produced by the Central Office for Research Ethics Committees (COREC) emphasize the need to distinguish 'research' from what might be termed 'non-research'. This is to be determined through a process of filtering or 'triage', the intention being that RECs will avoid considering proposals with 'no material ethical issues'. In this paper we argue that trying to distinguish 'true' research from other projects is (...) counterproductive, misleading and potentially unethical. Our case is built around three assertions: (1) the distinction between research and non-research is imprecise; (2) both medical research and non-research can generate similar ethical issues; and (3) projects should be judged according to what they involve, not how they are labelled. (shrink)

The attention schema theory explains how a biological, information processing machine can claim to have consciousness, and how, by introspection (by assessing its internal data), it cannot determine that it is a machine whose claims are based on computations. The theory directly addresses Chalmers' meta-problem of consciousness, the problem of why we think we have a difficult-to-explain consciousness in the first place.

Coastal ecosystems are increasingly dominated by humans. Consequently, the human dimensions of sustainability science have become an integral part of emerging coastal governance and management practices. But if we are to avoid the harsh lessons of land management, coastal decision makers must recognize that humans are one of the more coastally dependent species in the biosphere. Management responses must therefore confront both the temporal urgency and the very real compromises and sacrifices that will be necessary to achieve a sustainable coastal (...) ecosystem, one that is economically feasible, socially just, and ecologically sound. (shrink)

The considerable attention to financial interests in clinical research has focused mostly on academic medical centers, even though the majority of clinical research is conducted in community practice settings. To fill this gap, this article maps the practices and policies in 73 community hospitals and several hundred specialized facilities around the country for reviewing clinical investigators’ financial relationships with research sponsors. Community hospitals face a substantially different mix of issues than academic medical centers do because their physician researchers are usually (...) not employees, and more of their studies are later-phase, multicenter trials. Accordingly, community physicians stand to benefit personally from per capita payments, but they tend to have less direct influence over research findings when compared with their academic peers. These and other contrasts require separate guidance for community-based organizations that takes into account their particular needs, circumstances, and institutional capacities. (shrink)

Zhizneopisanie -- Kniga znanii︠a︡ -- Ukazanii︠a︡ i nastavlenii︠a︡ -- Kniga o dushe.

Online education lacks the moral and ethical engagement as well as the empathic interactions that are essential and integral to true liberal education, including business. While the online venue can provide useful information and put libraries at the hands of the student or employee, there is an implicit lack of focus on the sacredness and centrality of the person, his or her values, attitudes, needs, and expectations. The focus of online education is on the delivery of data, not the student’s (...) engagement with the material or the process. Critically absent from online education is the ability to explore the transformation of data as it changes, first to information, then to knowledge, and finally to wisdom, within each person. Finally, absent is the ability to raise the level of abstraction. Since all needs to be measurable in concrete terms in online education, we are left with the language of metrics, such as deliverables, outcomes, inputs, and outputs. Where is the person in all of this? Where is the focus on the moral compass that is so necessary in any type of education? (shrink)

Intrusive agricultural experimentspublished in New Zealand in the last five yearsare reviewed in terms of the degree of animalsuffering involved, and the necessity for thissuffering in relation to research findings.When measured against animal welfare criteriaof the Ministry of Agriculture, thirty-sixstudies inflicted ``severe'' or ``very severe''suffering. Many of these experiments hadquestionable short-term applications, had anapplication restricted to agriculturalproduction or economic growth, or could havebeen modified to prevent or reduce suffering.